1

Pseudo Jump Operators. I: The R. E. Case

Year:
1983
Language:
english
File:
PDF, 1.47 MB
english, 1983
2

Ramsey's Theorem and Recursion Theory

Year:
1972
Language:
english
File:
PDF, 755 KB
english, 1972
3

Diagonally non-computable functions and bi-immunity

Year:
2013
Language:
english
File:
PDF, 147 KB
english, 2013
7

10.1090/s0002-9947-04-03585-8

Year:
2004
Language:
english
File:
PDF, 204 KB
english, 2004
9

Some Notions of Reducibility and Productivenessby A. H. Lachlan

Year:
1970
Language:
english
File:
PDF, 213 KB
english, 1970
10

Relationships Between Reducibilities

Year:
1969
Language:
english
File:
PDF, 225 KB
english, 1969
11

Double Jumps of Minimal Degrees

Year:
1978
Language:
english
File:
PDF, 283 KB
english, 1978
12

Semirecursive Sets and Positive Reducibility

Year:
1968
Language:
english
File:
PDF, 1.73 MB
english, 1968
13

A degree-theoretic definition of the ramified analytical hierarchy

Year:
1976
Language:
english
File:
PDF, 1010 KB
english, 1976
14

Encodability of Kleene's O

Year:
1973
Language:
english
File:
PDF, 130 KB
english, 1973
15

Defining the Turing Jumpby Richard A. Shore; Theodore A. Slaman

Year:
2001
Language:
english
File:
PDF, 443 KB
english, 2001
18

Weak Presentations of Computable Fields

Year:
1995
Language:
english
File:
PDF, 248 KB
english, 1995
19

The degrees of bi-immune sets

Year:
1969
Language:
english
File:
PDF, 400 KB
english, 1969
20

Ramsey's Theorem for Computably Enumerable Colorings

Year:
2001
Language:
english
File:
PDF, 211 KB
english, 2001
21

Generalized Cohesiveness

Year:
1999
Language:
english
File:
PDF, 1.88 MB
english, 1999
23

Weakly Semirecursive Sets

Year:
1990
Language:
english
File:
PDF, 192 KB
english, 1990
25

Degrees of Unsolvability. Local and Global Theoryby Manuel Lerman

Year:
1985
Language:
english
File:
PDF, 125 KB
english, 1985
26

The Degrees of Hyperhyperimmune Sets

Year:
1969
Language:
english
File:
PDF, 607 KB
english, 1969
27

Stability and Posets

Year:
2009
Language:
english
File:
PDF, 1.74 MB
english, 2009
28

An Application of ∑04Determinancy to the Degrees of Unsolvability

Year:
1973
Language:
english
File:
PDF, 137 KB
english, 1973
30

Fine Degrees of Word Problems of Cancellation Semigroups

Year:
1980
Language:
english
File:
PDF, 222 KB
english, 1980
31

Lower Bounds for Pairs of Recursively Enumerable Degrees.by A. H. Lachlan

Year:
1972
Language:
english
File:
PDF, 143 KB
english, 1972
33

Difference sets and computability theory

Year:
1998
Language:
english
File:
PDF, 727 KB
english, 1998
34

Post's Problem and His Hypersimple Set

Year:
1973
Language:
english
File:
PDF, 206 KB
english, 1973
35

Ramsey's Theorem and Cone Avoidance

Year:
2009
Language:
english
File:
PDF, 1.97 MB
english, 2009
36

Degrees of orderings not isomorphic to recursive linear orderings

Year:
1991
Language:
english
File:
PDF, 2.25 MB
english, 1991
37

A Minimal Pair of Π01Classes

Year:
1971
Language:
english
File:
PDF, 1.41 MB
english, 1971
38

Upward Closure of bi-Immune Degrees

Year:
1972
Language:
english
File:
PDF, 164 KB
english, 1972
39

Uniformly Introreducible Sets

Year:
1968
Language:
english
File:
PDF, 1.39 MB
english, 1968
41

Completely Autoreducible Degrees

Year:
1976
Language:
english
File:
PDF, 354 KB
english, 1976
43

Π01Classes and Boolean Combinations of Recursively Enumerable Sets

Year:
1974
Language:
english
File:
PDF, 278 KB
english, 1974
44

Boolean Algebras, Stone Spaces, and the Iterated Turing Jump

Year:
1994
Language:
english
File:
PDF, 423 KB
english, 1994
45

In Memoriam: Joseph R. Shoenfield, 1927-2000

Year:
2001
Language:
english
File:
PDF, 381 KB
english, 2001
46

Minimal Covers and Arithmetical Sets

Year:
1970
Language:
english
File:
PDF, 169 KB
english, 1970